Couverture FR
نویسنده
چکیده
منابع مشابه
Object and Source Coverage for Critical Applications with the COUVERTURE Open Analysis Framework
This paper presents COUVERTURE, an open coverage analysis framework for safety-critical software development. COUVERTURE offers nonintrusive source and object coverage analysis on unmodified user code, using instrumentation of a virtual execution platform based on QEMU, a flexible and efficient open-source CPU emulator. COUVERTURE focuses primarily on the DO-178 civilian avionics certification ...
متن کاملLe problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents
RÉSUMÉ. Les réseaux de Petri sont une classe bien étudiée de modèles propres à représenter les comportements de systèmes informatiques concurrents. Dans ce cadre, le problème de couverture (étant donné un marquage m, existe-t-il un marquage accessible qui assigne à chaque place du réseau au moins autant de jetons que m ?) est de tout premier intérêt, car de nombreuses propriétés de sûreté (tout...
متن کاملEffects of the amount and composition of the forest floor on emergence and early establishment of loblolly pine seedlings
Five forest floor weights (0. ID, 20, 30, and 40 MgJha), three forest floor compositions (pine, pine-hardwood, and hardwood), and two seed placements (forest floor and soil surface) were tested in a three-factorial. split-plot design with four incomplete, randomized blocks. The experiment was conducted in a nursery setting and used wooden frames to define 0.145-mZ subplots. Forest floor composi...
متن کاملStratégie de couverture de test à un haut niveau d'abstraction
ions supplémentaires, nous pouvons synthétiser l’écriture de plusieurs objectifs de test en un schéma de test. Un schéma de test est une abstraction d’objectifs de test. Nous présentons maintenant les différentes abstractions proposées avant d’étudier comment nous pouvons exprimer la couverture des schémas de test vis-à-vis de la spécification. Avant de présenter les différentes abstractions, n...
متن کاملOn the minimum edge cover and vertex partition by quasi-cliques problems
A γ-quasi-clique in a simple undirected graph is a set of vertices which induces a subgraph with the edge density of at least γ for 0 < γ < 1. A cover of a graph by γ-quasi-cliques is a set of γ-quasi-cliques where each edge of the graph is contained in at least one quasi-clique. The minimum cover by γ-quasi-cliques problem asks for a γ-quasi-clique cover with the minimum number of quasi-clique...
متن کامل